Perpendicular bisector construction of a quadrilateral